#include <stdio.h>
int main()
{
	printf("EOF is %d",EOF);
}